(top_distclean): Use -f to delete contents of lock dir.

diff --git a/Makefile.in b/Makefile.in
index 95cb7a0700e2637b773fd4a44dae1928f918005d..9425a3def081958bf7770a51697442ce69fddb73 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -461,7 +461,7 @@ clean: FRC
 top_distclean=\
        rm -f config.status config.cache config.log ; \
        rm -f Makefile ${SUBDIR_MAKEFILES} ; \
-       (cd lock && (rm * || true))
+       (cd lock && (rm -f * || true))
 distclean: FRC
        (cd src;      $(MAKE) $(MFLAGS) distclean)
        (cd oldXMenu; $(MAKE) $(MFLAGS) distclean)